@InProceedings{AmbrosioCarvVijaMart:2002:AuTeCa,
               author = "Ambrosio, Ana Maria and Carvalho, Solon Ven{\^a}ncio de and 
                         Vijaykumar, Nandamudi Lankalapalli and Martins, Eliane",
          affiliation = "{Aluno do curso de p{\'o}s-gradua{\c{c}}{\~a}o do INPE em 
                         Computa{\c{c}}{\~a}o Aplicada (CAP)}",
                title = "Automatic test case generation of the behavior of communication 
                         software systems",
            booktitle = "Anais...",
                 year = "2002",
               editor = "Silva, Jos{\'e} Dem{\'{\i}}sio Sim{\~o}es da",
         organization = "Workshop dos Cursos de Computa{\c{c}}{\~a}o Aplicada do INPE, 2. 
                         (WORCAP).",
            publisher = "Instituto Nacional de Pesquisas Espaciais",
              address = "S{\~a}o Jos{\'e} dos Campos",
             keywords = "test case generation, protocol, formal specification, Statecharts, 
                         Kronecker operators.",
             abstract = "This paper addresses the problem of automatically generating test 
                         cases of the behavior of communication software systems, the 
                         protocols, which are usually specified in Extended Finite State 
                         Machines. The specification technique Statecharts is considered 
                         here for specifying the protocol behavior with the objective of 
                         using its descriptive power of the hierarchy, orthogonality and 
                         synchronization features. To deal with the state explosion problem 
                         a strategy is proposed for test generation in steps (separated 
                         phases) based on the concepts of independent and synchronizing 
                         transitions. Another topic of study is related to the formal 
                         aspects of the specification into matrix algebra and Kronecker 
                         operators. Both the proposed strategy and mapping of the 
                         specification into matrix algebra are in the initial phase.",
  conference-location = "S{\~a}o Jos{\'e} dos Campos",
      conference-year = "20-21 nov. 2002",
             language = "Ingles",
         organisation = "Instituto Nacional de Pesquisas Espaciais",
                  ibi = "7mbX3pFwXQZ4Cds5/wkuAf",
                  url = "http://urlib.net/ibi/7mbX3pFwXQZ4Cds5/wkuAf",
           targetfile = "WorcapII-Ana-submetido2.pdf",
                 type = "Sistema de Informa{\c{c}}{\~a}o",
        urlaccessdate = "07 maio 2024"
}